finitely complete category

有限完全范畴